Search results for "model [interaction]"
showing 10 items of 1495 documents
A new Cartan-type property and strict quasicoverings when p = 1 in metric spaces
2018
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we prove a new Cartan-type property for the fine topology in the case $p=1$. Then we use this property to prove the existence of $1$-finely open \emph{strict subsets} and \emph{strict quasicoverings} of $1$-finely open sets. As an application, we study fine Newton-Sobolev spaces in the case $p=1$, that is, Newton-Sobolev spaces defined on $1$-finely open sets.
On Different Type Solutions of Boundary Value Problems
2016
We consider boundary value problems of the type x'' = f(t, x, x'), (∗) x(a) = A, x(b) = B. A solution ξ(t) of the above BVP is said to be of type i if a solution y(t) of the respective equation of variations y'' = fx(t, ξ(t), ξ' (t))y + fx' (t, ξ(t), ξ' (t))y' , y(a) = 0, y' (a) = 1, has exactly i zeros in the interval (a, b) and y(b) 6= 0. Suppose there exist two solutions x1(t) and x2(t) of the BVP. We study properties of the set S of all solutions x(t) of the equation (∗) such that x(a) = A, x'1(a) ≤ x' (a) ≤ x'2(a) provided that solutions extend to the interval [a, b].
Approximation of Elliptic Hemivariational Inequalities
1999
From the previous chapter we know that there exist many important problems in mechanics in which constitutive laws are expressed by means of nonmonotone, possibly multivalued relations (nonmonotone multivalued stress-strain or reaction-displacement relations,e.g). The resulting mathematical model leads to an inclusion type problem involving multivalued nonmonotone mappings or to a substationary type problem for a nonsmooth, nonconvex superpotential expressed in terms of calculus of variation. It is the aim of this chapter to give a detailed study of a discretization of such a type of problems including the convergence analysis. Here we follow closely Miettinen and Haslinger, 1995, Miettinen…
Images and Preimages of Null Sets
2013
In this chapter we study conditions that guarantee that our mapping maps sets of measure zero to sets of measure zero. We start with the problem in general Sobolev spaces, after which we establish a better result for mappings of finite distortion. Then we introduce a natural class of counterexamples to statements of this type and finally we give a weak condition under which the preimage of a set of measure zero has measure zero for mappings of finite distortion.
Tree Based Domain-Specific Mapping Languages
2012
Model transformation languages have been mainly used by researchers --- the software engineering industry has not yet widely accepted the model driven software development (MDSD). One of the main reasons is the complexity of metamodelling principles the developers are required to know to actually use model transformations in the way the OMG has stated. We offer the basic principles how to create domain-specific model transformation languages which can be used by developers relying only on familiar modelling concepts. We propose to use simple graphical mappings to specify the correspondence between source and target models which are represented using trees based on the concrete syntax of und…
DSL Based Platform for Business Process Management
2014
Currently nearly all commercial and open source BPMS are based on BPMN as a process notation. In contrast, the paper proposes to build a BPMS based on a domain specific language (DSL) as a process notation – DSBPMS. In such a DSBPMS a specific business process support could be created by business analysts. A platform for creating such DSBPMS with feasible efforts is described. This platform contains a Configurator for easy creation of graphical editors for the chosen DSL and a simple mapping language for transforming processes in this DSL to a language directly executable by the execution engine of this platform. The engine includes also all typical execution support functions so no other t…
Model Transformation Languages and Their Implementation by Bootstrapping Method
2008
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compiler to C++. The next language L1 is an extension of L0, and it contains powerful pattern definition facilities. The last language L2 is of sufficiently high level and can be used for implementation of traditional pattern-based high level model transformation languages, as well as for the development of model transformations directly. For languages L1 and L2 efficient compilers have been built using the bootstrapping method: L1 to L0 in L0, and L2 to L1 in L1. The results confirm the efficiency of model transformat…
Interpretation of Ocular Melanin Drug Binding Assays. Alternatives to the Model of Multiple Classes of Independent Sites
2016
Melanin has a high binding affinity for a wide range of drugs. The determination of the melanin binding capacity and its binding affinity are important, e.g., in the determination of the ocular drug distribution, the prediction of drug effects in the eye, and the trans-scleral drug delivery. The binding parameters estimated from a given data set vary significantly when using different isotherms or different nonlinear fitting methods. In this work, the commonly used bi-Langmuir isotherm, which assumes two classes of independent sites, is confronted with the Sips isotherm. Direct, log-log, and Scatchard plots are used, and the interpretation of the binding curves in the latter is critically a…
Finite-Timel1-Gain Control for Positive Switched Systems with Time-Varying Delay via Delta Operator Approach
2014
This paper is concerned with the problem of finite-timel1-gain control for positive switched systems with time-varying delay via delta operator approach. Firstly, sufficient conditions which can guarantee thel1-gain finite-time boundedness of the underlying system are given by using the average dwell time approach and constructing an appropriate copositive type Lyapunov-Krasovskii functional in delta domain. Moreover, the obtained conditions can unify some previously suggested relevant results seen in literature of both continuous and discrete systems into the delta operator framework. Then, based on the results obtained, a state feedback controller is designed to ensure that the resulting …
Embedded Model Control and dynamic simulation
2006
Embedded model control (EMC) is and end-to-end control technology addressed to industrial engineers and centered on the embedded model, a stylized discrete-time state equation of the whole plant, including environment, communication and computing resources. The embedded model, which is the core of the control unit, is derived and validated from a fine model of the plant which is implemented as a simulator code. The latter acts as a faithful and friendly test-bench where assessing control units before they are loaded into target processor. The paper illustrates the requirements and architecture of the EMC simulator under continuous improvement. A case study closes the paper.